33 ideas
| 13030 | Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen] |
| 13032 | Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z) [Kunen] |
| 13033 | Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A) [Kunen] |
| 13037 | Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen] |
| 13038 | Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen] |
| 13034 | Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen] |
| 13039 | Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen] |
| 13036 | Choice: ∀A ∃R (R well-orders A) [Kunen] |
| 13029 | Set Existence: ∃x (x = x) [Kunen] |
| 13031 | Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen] |
| 13040 | Constructibility: V = L (all sets are constructible) [Kunen] |
| 18465 | An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen] |
| 14329 | Some dispositional properties (such as mental ones) may have no categorical base [Price,HH] |
| 16235 | Persistence conditions cannot contradict, so there must be a 'dominant sortal' [Burke,M, by Hawley] |
| 14753 | The 'dominant' of two coinciding sortals is the one that entails the widest range of properties [Burke,M, by Sider] |
| 16072 | 'The rock' either refers to an object, or to a collection of parts, or to some stuff [Burke,M, by Wasserman] |
| 14751 | Tib goes out of existence when the tail is lost, because Tib was never the 'cat' [Burke,M, by Sider] |
| 16071 | Sculpting a lump of clay destroys one object, and replaces it with another one [Burke,M, by Wasserman] |
| 16234 | Burke says when two object coincide, one of them is destroyed in the process [Burke,M, by Hawley] |
| 13278 | Maybe the clay becomes a different lump when it becomes a statue [Burke,M, by Koslicki] |
| 14750 | Two entities can coincide as one, but only one of them (the dominant sortal) fixes persistence conditions [Burke,M, by Sider] |
| 9032 | Before we can abstract from an instance of violet, we must first recognise it [Price,HH] |
| 9034 | There may be degrees of abstraction which allow recognition by signs, without full concepts [Price,HH] |
| 9035 | If judgement of a characteristic is possible, that part of abstraction must be complete [Price,HH] |
| 9036 | There is pre-verbal sign-based abstraction, as when ice actually looks cold [Price,HH] |
| 9037 | Intelligent behaviour, even in animals, has something abstract about it [Price,HH] |
| 9033 | Recognition must precede the acquisition of basic concepts, so it is the fundamental intellectual process [Price,HH] |
| 10645 | We reach concepts by clarification, or by definition, or by habitual experience [Price,HH] |
| 9030 | Abstractions can be interpreted dispositionally, as the ability to recognise or imagine an item [Price,HH] |
| 9029 | If ideas have to be images, then abstract ideas become a paradoxical problem [Price,HH] |
| 10646 | Our understanding of 'dog' or 'house' arises from a repeated experience of concomitances [Price,HH] |
| 9031 | The basic concepts of conceptual cognition are acquired by direct abstraction from instances [Price,HH] |
| 10644 | A 'felt familiarity' with universals is more primitive than abstraction [Price,HH] |